Abstract:Concepts from Agama’s papers on Problem Theory are used to characterize and develop some basic theorems of Model Theory and Logic. We ”represent” core concepts in Logic with problems and solutions. These include Godel’s First Incompleteness Theorem, Godel’s Completeness Theorem, and the Compactness Theorem. Further developments in this topic will be pursued.
https://lantzevongkorad.github.io/math%20papers/Problem%20Theory%20applied%20to%20Model%20Theory%20and%20Logic.pdf6Lantze Vongkorad. Problem Theory applied to Model Theory and Logic. 2024. Available at: https://lantzevongkorad.github.io/math%20papers/Problem%20Theory%20applied%20to%20Model%20Theory%20and%20Logic.pdf